Tree tribes and lower bounds for switching lemmas

نویسنده

  • Jenish C. Mehta
چکیده

We show tight upper and lower bounds for switching lemmas obtained by the action of random p-restrictions on boolean functions that can be expressed as decision trees in which every vertex is at a distance of at most t from some leaf, also called t-clipped decision trees. More specifically, we show the following: 1. If a boolean function f can be expressed as a t-clipped decision tree, then under the action of a random p-restriction ρ, the probability that the smallest depth decision tree for f |ρ has depth greater than d is upper bounded by (4p2t)d. 2. For every t, there exists a function gt that can be expressed as a t-clipped decision tree, such that under the action of a random p-restriction ρ, the probability that the smallest depth decision tree for gt|ρ has depth greater than d is lower bounded by (c0 p2t)d, for 0 ≤ p ≤ cp2−t and 0 ≤ d ≤ cd log n 2t log t , where c0, cp, cd are universal constants. ∗California Institute of Technology. 1 ar X iv :1 70 3. 00 04 3v 1 [ cs .C C ] 2 8 Fe b 20 17

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy

We consider the problem of proving circuit lower bounds against the polynomialtime hierarchy. We first revisit a lower bound given by Kannan [Kan82], and for any fixed integer k > 0, we give an explicit Σp2 language, recognizable by a Σ p 2-machine with running time O(nk 2+k), that requires circuit size > nk. Next, as our main results, we give relativized results showing the difficulty of provi...

متن کامل

On Proving Circuit Lower Bounds Against PH and Some Related Lower Bounds for Constant Depth Circuits

We consider the problem of proving circuit lower bounds against the polynomial-time hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σp2 language, acceptable by a Σ p 2-machine with running time O(n k2+k), that requires circuit size > nk. This provides a constructive version of an existence theorem of Kannan [Kan82]. ...

متن کامل

TR - C 167 title : On Proving Circuit Lower Bounds Against the Polynomial - time Hierarchy : Positive / Negative Results and Some Related Lower Bounds for Constant Depth Circuits

We consider the problem of proving circuit lower bounds against the polynomialtime hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σp2 language, acceptable by a Σ p 2-machine with running time O(nk 2+k), that requires circuit size > nk. This provides a constructive version of an existence theorem of Kannan [Kan82]. O...

متن کامل

Improved pseudorandom generators from pseudorandom multi-switching lemmas

We give the best known pseudorandom generators for two touchstone classes in unconditional derandomization: an ε-PRG for the class of size-M depth-d AC circuits with seed length log(M) · log(1/ε), and an ε-PRG for the class of S-sparse F2 polynomials with seed length 2 √ logS) · log(1/ε). These results bring the state of the art for unconditional derandomization of these classes into sharp alig...

متن کامل

An Entropy Proof of the Switching Lemma and Tight Bounds on the Decision-Tree Size of AC

The first result of this paper is (a novel proof of) the following switching lemma for m-clause DNF formulas F : (1) P[ DTdepth(F Rp) ≥ t ] = O(p log(m+ 1)) for all p ∈ [0, 1] and t ∈ N where Rp is the p-random restriction and DTdepth denotes decision-tree depth. Our proof replaces the counting arguments in previous proofs of H̊astad’s O(pw) switching lemma for width-w DNFs [5, 8, 2] with a nove...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1703.00043  شماره 

صفحات  -

تاریخ انتشار 2017